LOTOS: Theories and Tools
نویسندگان
چکیده
منابع مشابه
Graphic visualization and animation of LOTOS execution traces
Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator. These are made possible by enforcing specific LOTOS styles and by providing certain mappings between the elements of LOTOS actions and the elements of the graphic notation. The main application area considered is the visualiza...
متن کاملA case study in abstraction using E
The proposed ISO standard E-LOTOS is used to describe the leader election protocol of the IEEE 1394 serial multimedia bus ((FireWiree). The E-LOTOS language facilitates descriptions at several levels of abstraction, therefore a broad understanding of the protocol at an abstract level can be gained before adding more complexity and concrete detail. A secondary aim is to illustrate some of the no...
متن کاملFrom Timethreads to LOTOS: A First Pass
A LOTOS interpretation of the Timethread notation is given in this document. Timethreads are an informal technique that focuses on end-to-end behaviours of a system while LOTOS is a formal technique with well developed theories of transformation, validation and testing. Timethreads constructors and their interpretation are discussed in the context of their possible use as a thinking tool in a d...
متن کاملTools for LOTOS Specification Style Transformation
Specification styles are an approach for structuring the design process of distributed systems. For different phases of the design process different specification styles are employed. In this paper we study tools that support the design process through support for specification style transformation. Tools were made for a subset of LOTOS.
متن کاملVerification Techniques for LOTOS
We report on the results of a project which applied LOTOS to safety-critical case studies, determined the veriication needs of real life applications, and developed tools for ASN.1 to LOTOS translation and equational reasoning.
متن کامل